Mahmoud, Boufaida: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems

Benabdelhafid, Maya Souilah, Boufaida, Mahmoud

Journal:

International Journal of Web Services Research

Year:

2020

File:

PDF, 2.44 MB

2020

2

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration

Zatout, Sara, Souilah Benabdelhafid, Maya, Boufaida, Mahmoud

Year:

2018

Language:

english

File:

PDF, 384 KB

english, 2018

3

A NEGOTIATION FRAMEWORK FOR ORGANIZATIONAL INFORMATION SYSTEMS

ZAROUR, NACEREDDINE, BOUFAIDA, MAHMOUD, SEINTURIER, LIONEL

Journal:

International Journal of Information Technology & Decision Making

Year:

2004

Language:

english

File:

PDF, 1000 KB

english, 2004

4

A Prediction Approach Based on Self-Training and Deep Learning for Biological Data

Boufenara, Mohamed Nadjib, Boufaida, Mahmoud, Berkane, Mohamed Lamine

Journal:

International Journal of Organizational and Collective Intelligence

Year:

2020

File:

PDF, 1.25 MB

2020

5

Dynamic context-aware Business Process flexibility: an artefact-based approach using process mining

Zerari, Mounira, Boufaida, Mahmoud

Journal:

International Journal of Business Intelligence and Data Mining

Year:

2011

Language:

english

File:

PDF, 2.01 MB

english, 2011

6

[IEEE 2009 Fourth International Conference on Internet and Web Applications and Services - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet and Web Applications and Services - A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services

Gharzouli, Mohamed, Boufaida, Mahmoud

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

7

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - Integration of the viewpoint mechanism in federated databases

Benchikha, Fouzia, Boufaida, Mahmoud, Seinturier, Lionel

Year:

2001

Language:

english

File:

PDF, 79 KB

english, 2001

8

An architecture using formal interaction protocols for business process integration in e-government

Tebib, Assia, Boufaida, Mahmoud

Journal:

Electronic Government an International Journal

Year:

2015

Language:

english

File:

PDF, 614 KB

english, 2015

9

Analysing timed compatibility of web service choreography

Benabdelhafid, Maya Souilah, BÃ©rard, BÃ©atrice, Boufaida, Mahmoud

Journal:

International Journal of Critical Computer-Based Systems

Year:

2017

File:

PDF, 785 KB

2017

10

[ACM Press the 12th International Conference - Paris, France (2010.11.08-2010.11.10)] Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services - iiWAS '10 - Context-aware process mining framework for business process flexibility

Mounira, Zerari, Mahmoud, Boufaida

Year:

2010

Language:

english

File:

PDF, 335 KB

english, 2010

11

Towards a Distributed Landmarks based Approach for the Localization and Discovery of Things on the Internet

Belgharbi, Karima, Boufaida, Mahmoud

Journal:

Procedia Computer Science

Year:

2014

Language:

english

File:

PDF, 541 KB

english, 2014

12

[IEEE 2011 10th International Symposium on Programming and Systems (ISPS) - Algiers, Algeria (2011.04.25-2011.04.27)] 2011 10th International Symposium on Programming and Systems - A Web services and agents-based approach for a better interoperability of enterprises

Benabdelhafid, Souilah Maya, Mahmoud, Boufaida

Year:

2011

Language:

english

File:

PDF, 1.60 MB

english, 2011

13

Data mediation towards semantic web service interoperability

Mecheri, Karima, Boufaida, Mahmoud, Meslati, Labiba Souici

Journal:

International Journal of Web Science

Year:

2012

Language:

english

File:

PDF, 260 KB

english, 2012

14

[ACM Press the 1993 ACM conference - Indianapolis, Indiana, United States (1993.02.16-1993.02.18)] Proceedings of the 1993 ACM conference on Computer science - CSC '93 - Situated planning and resources in the design of an intelligent tutorial

Boufaida, Mahmoud, Barril, Patrick

Year:

1993

Language:

english

File:

PDF, 745 KB

english, 1993

15

[IEEE 2018 8th International Conference on Computer Science and Information Technology (CSIT) - Amman, Jordan (2018.7.11-2018.7.12)] 2018 8th International Conference on Computer Science and Information Technology (CSIT) - An Architecture Dedicated to Dynamic Adaptation for Services Orchestration

Zatout, Sara, Berkane, Mohamed Lamine, Boufaida, Mahmoud

Year:

2018

Language:

english

File:

PDF, 693 KB

english, 2018

16

Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home

Berkane, Mohamed Lamine, Seinturier, Lionel, Boufaida, Mahmoud

Journal:

International Journal of Web Engineering and Technology

Year:

2015

Language:

english

File:

PDF, 627 KB

english, 2015

17

[IEEE 2013 24th International Workshop on Database and Expert Systems Applications (DEXA) - Los Alamitos, CA, USA (2013.08.26-2013.08.30)] 2013 24th International Workshop on Database and Expert Systems Applications - FASOAD: A Framework for Agile Service-Oriented Architectures Development

Chehili, Hamza, Seinturier, Lionel, Boufaida, Mahmoud

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

18

[ACM Press the first international workshop - Bremen, Germany (2005.11.04-2005.11.04)] Proceedings of the first international workshop on Interoperability of heterogeneous information systems - IHIS '05 - An architecture for the interoperability of workflow models

Salah, Hamri, Mahmoud, Boufaida, Nacer, Boudjlida

Year:

2005

Language:

english

File:

PDF, 218 KB

english, 2005

19

[IEEE 2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS) - Skikda, Algeria (2019.12.15-2019.12.16)] 2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS) - A Framework for implementing the interoperability of semantic web services: Case study

MECHERI, Karima, BOUFAIDA, Mahmoud, Souici-Meslati, Labiba, CHABBI, Wafa

Year:

2019

File:

PDF, 8.60 MB

2019

20

A model-driven approach for the verification of an adaptive service composition

Zatout, Sara, Boufaida, Mahmoud, Benabdelhafid, Maya Souilah, Berkane, Mohamed Lamine

Journal:

International Journal of Web Engineering and Technology

Year:

2020

File:

PDF, 765 KB

2020

21

[IEEE 2014 1st International Conference on Information and Communication Technologies for Disaster Management (ICT-DM) - Algiers, Algeria (2014.3.24-2014.3.25)] 2014 1st International Conference on Information and Communication Technologies for Disaster Management (ICT-DM) - Web services discovery in P2P networks based on clustering

Benghida, Amira, Boufaida, Mahmoud

Year:

2014

Language:

english

File:

PDF, 466 KB

english, 2014

22

The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application

Benabdelhafid, Maya Souilah, Boufaida, Mahmoud

Journal:

International Journal of E-Business Research

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

23

An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures

Chehili, Hamza, Seinturier, Lionel, Boufaida, Mahmoud

Journal:

International Journal of Information Systems in the Service Sector

Year:

2017

Language:

english

File:

PDF, 1.11 MB

english, 2017

24

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - A distributed P2P-based architecture for semantic Web services discovery and composition

Gharzouli, Mohamed, Boufaida, Mahmoud

Year:

2010

File:

PDF, 598 KB

2010

25

Formalisation and verification of interaction protocols for business process integration: a Petri net approach

Benmerzoug, Djamel, Kordon, Fabrice, Boufaida, Mahmoud

Journal:

International Journal of Simulation and Process Modelling

Year:

2008

Language:

english

File:

PDF, 1.39 MB

english, 2008

26

Context-based interoperability of semantic web services

Mecheri, Karima, Boufaida, Mahmoud, Meslati, Djamel, Meslati, Labiba Souici

Journal:

International Journal of Metadata Semantics and Ontologies

Year:

2019

File:

PDF, 613 KB

2019

27

An Approach Based on Service Components for Adapting Web-Oriented Applications

Bendekkoum, Soumia, Boufaida, Mahmoud, Seinturier, Lionel

Journal:

International Journal of Information Technology and Web Engineering

Year:

2016

Language:

english

File:

PDF, 1.98 MB

english, 2016

28

[IEEE 2012 International Conference on Communications and Information Technology (ICCIT) - Hammamet, Tunisia (2012.06.26-2012.06.28)] 2012 International Conference on Communications and Information Technology (ICCIT) - A methodological approach for modeling supply chain management

Boudouda, Souheila, Boufaida, Mahmoud

Year:

2012

Language:

english

File:

PDF, 442 KB

english, 2012

29

What courseware dedicated to computer science?

Boufaida, Mahmoud

Journal:

ACM SIGCSE Bulletin

Year:

1996

Language:

english

File:

PDF, 668 KB

english, 1996

30

Toward a Better Interoperability of Enterprise Information Systems: A CPNs and Timed CPNs -based Web Service Interoperability Verification in a Choreography

Benabdelhafid, Maya Souilah, Boufaida, Mahmoud

Journal:

Procedia Technology

Year:

2014

Language:

english

File:

PDF, 416 KB

english, 2014

31

[IEEE 2015 International Conference on Cloud Technologies and Applications (CloudTech) - Marrakech, Morocco (2015.6.2-2015.6.4)] 2015 International Conference on Cloud Technologies and Applications (CloudTech) - A SCA based model for resolving syntactic heterogeneity among clouds

Thabet, Meriem, Boufaida, Mahmoud

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

32

An approach for developing an interoperability mechanism between cloud providers

Thabet, Meriem, Boufaida, Mahmoud, Kordon, Fabrice

Journal:

International Journal of Space-Based and Situated Computing

Year:

2014

Language:

english

File:

PDF, 443 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски